$\forall$$l_{1}$, $l_{2}$:IdLnk. lnk{-}inv($l_{1}$) $=$ lnk{-}inv($l_{2}$) $\in$ IdLnk $\Leftrightarrow$ $l_{1}$ $=$ $l_{2}$